81. #Recursively enumerable sets and degrees
پدیدآورنده : #Robert I. Soare
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Recursive functions ،Computable functions
رده :
#
QA
،#.
S63
82. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Soare, Robert Irving
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
83. Recursively enumerable sets and degrees : a study of computable functions and computably generated sets
پدیدآورنده : Robert I. Soare,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Recursive functions,Computable functions
رده :
QA
.
S63
9
.
615
1987
84. Recursively enumeralble sets and degrees
پدیدآورنده : Soare, Robert Irving, 0491-
کتابخانه: (طهران)
موضوع : ، Recursive functions,، Computable functions
رده :
QA
9
.
615
.
S63
1987
85. Recursivite
پدیدآورنده : / par Jean-Pierre Azra et Bernard Jaulin, pref de Daniel Lacombe
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Recursive functions
رده :
515
.
25
Az-R
86. Recursivite
پدیدآورنده : Azra, Jean-Pierre
کتابخانه: (طهران)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
A97
87. Recursivity and contingency
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : organizing systems ; Philosophy. ; Computer algorithms ; Philosophy. ; Conditionals (Logic) ; Recursive functions. ; -Artificial intelligence ; Philosophy. ; Self
88. Reflexive structures : an introduction to computability theory
پدیدآورنده : Sanchis, Luis E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
S26
1988
89. Rekursive Funktionen
پدیدآورنده : Heinz Lüneburg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Recursieve functies.,Recursive functions.,Rekursive Funktion.
رده :
QA246
.
H456
2002
90. Rigid body dynamics algorithms
پدیدآورنده : Roy Featherstone.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Dynamics, Rigid.,Recursive functions.,Robots-- Dynamics.
91. Rigid body dynamics algorithms
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Dynamics, Rigid. ; Recursive functions. ; Robots ; Dynamics. ;
92. Robot Dynamics Algorithms
پدیدآورنده : / Roy Featherstone
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Robots- Dynamics,Dynamics Rigid,Recursive Functions,Spatial Kinematics,Spatial Dynamics
رده :
TJ211
.
4
.
F43
1987
93. Robot dynamics algorithms
پدیدآورنده : Featherstome, Roy.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Dynamics ، Robots,، Dynamics, Rigid,، Recursive functions
رده :
TJ
211
.
4
.
F43
1987
94. Robot dynamics algorithms
پدیدآورنده : Featherstone, Roy.
موضوع : ، Robots-- Dynamics,، Dynamics, Rigid,، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
95. Robot dynamics algorithms
پدیدآورنده : / by Roy Featherstone
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Robots-Dynamics,Dynamics, Rigid,Recursive functions,Rigid
رده :
TJ211
.
4
.
F43
1987
96. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده : edited by W. Marek, M. Srebrny, A. Zarach
کتابخانه: (طهران)
موضوع : Bibliography ، Mostowski, Andrzej, 3191-5791,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
248
.
C6
1975
97. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده : edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
248
.
C6
98. Set theory and hierarchy theory: a memorial tribute to Andrzej Mostowski: Bierotowice, Poland, 1975 : ]proceedings[
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : Bibliography ، Mostowski, Andrzej,Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions
رده :
QA
3
.
L28
no
.
537
99. Set theory and hierarchy theory : a memorial tribute to Andrzej Mostowski : Bierotowice, Poland, 1975 : )proceedings(
پدیدآورنده : edited by W. Marek, M. Srebrny, and A. Zarach
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej
رده :
QA
1
.
L4
v
.
537
100. Set theory and hierarchy theory a memorial tribute to Andrzej Mostowski : Bierutowice, Poland 1975
پدیدآورنده : edited by W. Marek, M. Srebrny and A. Zarach
کتابخانه: (طهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory,Congresses ، Recursive functions,Bibliography ، Mostowski, Andrzej, 3191-5791
رده :
QA
3
.
L28
Vol
.
537
